An integer is a discrete number, i.e., it has no fractional part. As such, integers are excellent for counting and labeling.

The literal representation of an integer is a sequence of one or more decimal digits. Negative integer literals are created using the method -_, which defines a semantic restriction that strengthens the answer's type to an instance type whenever the argument's value is precisely known. ∞ and -∞ are positive and negative infinity, respectively.